正确性|中值_CAS解析

篇首语：本文由编程笔记#小编为大家整理，主要介绍了CAS解析相关的知识，希望对你有一定的参考价值。

概念

CAS是支持并发的第一个处理器提供原子的测试并设置操作&＃xff0c;通常在单位上运行这项操作。操作数为V,A,B。
处理器&＃xff08;包括 Intel 和 Sparc 处理器&＃xff09;使用的最通用的方法是实现名为 比较并转换或 CAS 的原语。&＃xff08;在 Intel 处理器中&＃xff0c;比较并交换通过指令的 cmpxchg 系列实现。PowerPC 处理器有一对名为“加载并保留”和“条件存储”的指令&＃xff0c;它们实现相同的目地&＃xff1b;MIPS 与 PowerPC 处理器相似&＃xff0c;除了第一个指令称为“加载链接”。&＃xff09;
CAS 操作包含三个操作数 —— 内存位置&＃xff08;V&＃xff09;、预期原值&＃xff08;A&＃xff09;和新值(B)。如果内存位置的值与预期原值相匹配&＃xff0c;那么处理器会自动将该位置值更新为新值。否则&＃xff0c;处理器不做任何操作。无论哪种情况&＃xff0c;它都会在 CAS 指令之前返回该位置的值。&＃xff08;在 CAS 的一些特殊情况下将仅返回 CAS 是否成功&＃xff0c;而不提取当前值。&＃xff09;CAS 有效地说明了“我认为位置 V 应该包含值 A&＃xff1b;如果包含该值&＃xff0c;则将 B 放到这个位置&＃xff1b;否则&＃xff0c;不要更改该位置&＃xff0c;只告诉我这个位置的值即可。
通常将 CAS 用于同步的方式是从地址 V 读取值 A&＃xff0c;执行多步计算来获得新值 B&＃xff0c;然后使用 CAS 将 V 的值从 A 改为 B。如果 V 处的值尚未同时更改&＃xff0c;则 CAS 操作成功。
类似于 CAS 的指令允许算法执行读-修改-写操作&＃xff0c;而无需害怕其他线程同时修改变量&＃xff0c;因为如果其他线程修改变量&＃xff0c;那么 CAS 会检测它&＃xff08;并失败&＃xff09;&＃xff0c;算法可以对该操作重新计算。清单 3 说明了 CAS 操作的行为&＃xff08;而不是性能特征&＃xff09;&＃xff0c;但是 CAS 的价值是它可以在硬件中实现&＃xff0c;并且是极轻量级的&＃xff08;在大多数处理器中&＃xff09;。

基本原理

采用了乐观锁思想&＃xff0c;首先线程获取到共享资源变量的值&＃xff0c;然后再计算出要赋予共享变量的新值&＃xff0c;最后&＃xff0c;调用硬件处理器的CAS机制&＃xff0c;保证原子操作:首先比较内存中共享变量现在的值是否与线程中存入的共享变量的旧值相等&＃xff0c;如果相等&＃xff0c;则将新值赋予共享变量&＃xff0c;赋值成功&＃xff0c;这个过程是原子性的&＃xff0c;由底层处理器完成&＃xff0c;在这期间共享变量值不会被其他线程所修改。
如果比较内存中值与线程存的旧值不相等&＃xff0c;说明已经被其他线程所修改过了&＃xff0c;此时修改失败&＃xff0c;需要采用自旋机制&＃xff0c;重新获取到最新的共享变量的值&＃xff0c;然后重新走一遍CAS流程。

Unsafe类

jdk的CAS机制有Unsafe类调用底层操作系统所实现&＃xff0c;相关方法如下&＃xff1a;

public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5);
public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);
public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);


Unsafe类还有很多操作底层的功能&＃xff0c;如操作系统的内存分配等等。但是Unsafe构造方法是私有的&＃xff0c;所以只能通过反射获取。有关Unsafe类的其他作用和详解&＃xff0c;可参考文章&＃xff1a;java中的Unsafe

CAS存在问题

ABA问题
如果一个变量初次读取的时候是A值&＃xff0c;并且在准备赋值的时候检查到它仍然是A值&＃xff0c;那我们就能说明它的值没有被其它线程修改过了吗&＃xff1f;如果这段期间它的值曾经被改成了B&＃xff0c;然后又改回A&＃xff0c;那么CAS操作就会误认为它从来没有被修改过。这个漏洞称为CAS操作的ABA问题。java.util.concurrent包为了解决这个问题&＃xff0c;提供了一个带有标记性的原子引用类AtomicStampedRenference&＃xff0c;它可以通过控制变量值的版本来保证CAS的正确性。不过目前来说这个类比较鸡肋&＃xff0c;大部分情况下ABA问题并不会影响程序并发的正确性&＃xff0c;如果需要解决ABA问题&＃xff0c;使用传统的互斥同步可能回避原子类更加高效。

有限性
一次CAS指令只能控制一个变量&＃xff0c;不能控制多个变量&＃xff0c;如果想保证多个变量的安全性&＃xff0c;则需要多个CAS指令&＃xff0c;或者将多个变量组成一个对象&＃xff0c;将对象进行CAS操作。

效率问题
效率问题&＃xff1a;前面提到&＃xff0c;如果存在多个线程竞争&＃xff0c;可能导致CAS失败&＃xff0c;此时可能需要循环&＃xff08;自旋&＃xff09;执行CAS&＃xff0c;竞争激烈情况下会对性能有一定影响&＃xff1b;

Atomic相关类解析

Atomic类采用CAS机制&＃xff0c;保证并发安全&＃xff0c;下面以AtomicInteger为例&＃xff0c;分析使用和原理:

//原子设置为给定值并返回旧值。
public final int getAndSet(int newValue)
return unsafe.getAndSetInt(this, valueOffset, newValue);



//如果当前值&＃61;&＃61;预期值&＃xff0c;则原子地将该值设置为给定的更新值。
public final boolean compareAndSet(int expect, int update)
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);



//当前值原子递增一
public final int getAndIncrement()
return unsafe.getAndAddInt(this, valueOffset, 1);



//原子地将当前值减少一
public final int getAndDecrement()
return unsafe.getAndAddInt(this, valueOffset, -1);



等等一系列原子操作&＃xff0c;都是利用了CAS原理。保证在多线程环境下&＃xff0c;对一个变量的操作保证安全性。
其他相关原子操作类: